Languages and Programming

Results: 5418



#Item
51TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:31
52asecondmouse | Reflections on social science, politics and education Seven reasons I probably can’t help you get my open source software running on your computer

asecondmouse | Reflections on social science, politics and education Seven reasons I probably can’t help you get my open source software running on your computer

Add to Reading List

Source URL: philipschrodt.parusanalytics.com

Language: English - Date: 2016-02-22 16:54:33
53JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

JVM Backend and Optimizer in Scala 2.12 Lukas Rytz, Scala Team @ Typesafe Scala 2.12 on one Slide •

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
54A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2001-06-27 15:19:02
55Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract

Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract

Add to Reading List

Source URL: www.haumacher.de

Language: English - Date: 2009-01-31 15:36:07
56Web Based Computer Music UIs with Mongrel2 and Harbinger Toronto Perl Mongers August 2010 Web Based Computer Music UIs with Mongrel2 and

Web Based Computer Music UIs with Mongrel2 and Harbinger Toronto Perl Mongers August 2010 Web Based Computer Music UIs with Mongrel2 and

Add to Reading List

Source URL: softwareprocess.es

Language: English - Date: 2010-08-26 23:21:21
57Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Some F# Practicalities Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/

Add to Reading List

Source URL: www.idt.mdh.se

Language: English - Date: 2015-04-15 17:47:12
58Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2015-09-05 00:16:54
59Copyright ©2005 by the Society for Industrial and Applied Mathematics This electronic version is for personal use and may not be duplicated or distributed. Chapter 6 Operators and Flow Control 6.1. Relational and Logica

Copyright ©2005 by the Society for Industrial and Applied Mathematics This electronic version is for personal use and may not be duplicated or distributed. Chapter 6 Operators and Flow Control 6.1. Relational and Logica

Add to Reading List

Source URL: www.siam.org

Language: English - Date: 2006-10-27 15:07:47
60Introduction to Smalltalk, VisualWorks - Table of contents  Ivan TomekTable of contents Preface Part 1 Introduction to object-oriented problem solving and the Smalltalk language

Introduction to Smalltalk, VisualWorks - Table of contents  Ivan TomekTable of contents Preface Part 1 Introduction to object-oriented problem solving and the Smalltalk language

Add to Reading List

Source URL: sdmeta.gforge.inria.fr

Language: English - Date: 2014-10-09 10:38:18